home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / language / osmall / dissanno.asc < prev    next >
Text File  |  1994-10-24  |  3KB  |  60 lines
  1. I am pleased to announce the publication of my thesis:
  2.  
  3. POLYMORPHIC TYPE INFERENCE FOR OBJECT-ORIENTED PROGRAMMING LANGUAGES
  4.  
  5.                        Andreas V. Hense
  6.                  Universit"at des Saarlandes, 1994
  7.  
  8.         (Supervisors: Prof. Dr. G. Smolka, Prof. Dr. R. Wilhelm)
  9.  
  10.  
  11.  
  12. Object-oriented programming languages enjoy an ever growing popularity.
  13. These languages promise an increased productivity by favorizing code reuse.
  14. Object-oriented languages undoubtedly have the reputation of leading to main-
  15. tainable and expandable systems. However, they are not regarded as very safe
  16. in the sense that object-oriented programs are free of errors.  They are well-
  17. suited for rapid prototyping, not for end products. A major part of the errors
  18. in a dynamically typed language are type errors, in object-oriented terminol-
  19. ogy they translate by "message not understood".  Such errors cannot always
  20. be eliminated by testing.  Static type inference analyzes programs at compile
  21. time and guarantees their absence at runtime. Whereas monomorphic type dis-
  22. ciplines restrain reusability, polymorphic type inference provides the 
  23. necessary flexibility.
  24.  
  25. Despite its apparent urgency, the problem of inferring types for object-
  26. oriented languages has still not been solved satisfactorily.  This work is con-
  27. cerned with the type inference for a complete object-oriented language, thus
  28. showing the multiple facets of the problem.  The type inferencer is of direct
  29. practical use but the work shows the limitations of the chosen approach as well.
  30. It is explored what can be done with pure inference, i.e. without having to rely
  31. on type declarations. Pure type inference can be used for existing dynamically
  32. typed languages and can be regarded as an optional analysis.
  33.  
  34. The object-oriented language was translated into an intermediate language
  35. by an intelligent translation function.  Thus, the most promising of the exist-
  36. ing type inference results on small calculi could be chosen and adapted.  The
  37. polymorphic type discipline of this work comprises extensible record types, re-
  38. cursive types, and imperative types. Since existing approaches were developed
  39. further, the correctness was proven using order-sorted logic. Order-sorted logic
  40. is used for the first time in this context. Its increased expressivity benefits
  41. the formulation of the type inference algorithm.
  42.  
  43.  
  44.  
  45.  
  46. The thesis is available as a book
  47.  
  48.  
  49. title:      POLYMORPHIC TYPE INFERENCE FOR OBJECT-ORIENTED
  50.             PROGRAMMING LANGUAGES
  51.  
  52. author:     Andreas V. Hense
  53.  
  54. publisher:  1994, Pirrot Verlag
  55.             Trierer Str. 7
  56.             D-66125 Saarbruecken-Dudweiler
  57.             ISBN 3-930714-00-0
  58.  
  59. price:      DM 30      (approx. 20 US $)
  60.